Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Sync to upstream/release/649 #1489

Merged
merged 204 commits into from
Oct 25, 2024
Merged

Sync to upstream/release/649 #1489

merged 204 commits into from
Oct 25, 2024

Conversation

aatxe
Copy link
Collaborator

@aatxe aatxe commented Oct 25, 2024

What's new?

  • More progress on the upcoming analysis API for fragment type inference.
  • Fix a bug in type normalization where intersection did not appropriately respect resource limits (affects new and old type solvers).
  • Allow type normalization to track cyclic pairs of types in inhabitance checks.
  • Fix a bug in the old type solver where Unifier did not necessarily live long enough.
  • Check the coroutine stack size before resuming in the Luau VM.

New Type Solver

  • Add support for typestating table.freeze and updated its behavior to transform the given table types into being marked read-only for all of its properties. More to come here for indexers when we add support for read-only indexers.
  • Fix string.format with no arguments does not report a type error in new solver strict mode #1453 by adding a missing arity check to string.format.
  • Fix a crash when editing caused by invalid AST states not being visited properly by the type solver.
  • Fix a crash in type simplification caused by missing follow calls.

Internal Contributors:

Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Andy Friesen [email protected]
Co-authored-by: Hunter Goldstein [email protected]
Co-authored-by: Vighnesh Vijay [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]

aatxe and others added 30 commits November 3, 2023 12:47
@aatxe
Sync to upstream/release/602
a0b9950
@aatxe
Merge branch 'upstream' into merge
efe133a
@alexmccord
Sync to upstream/release/603
4b68791
@alexmccord
Merge branch 'master' into merge
6343648
@alexmccord
Merge branch 'heads/upstream' into merge
e57cbf6
@andyfriesen
Sync to upstream/release/604
674c6c4
@andyfriesen
Merge branch 'master' into merge
4320153
@andyfriesen
Merge branch 'upstream' into merge
2d4a544
@Vighnesh-V
VM
557e77a 
- Add SUBRK and DIVRK bytecode instructions
    - Enables future performance optimizations

Miscellaneous
- Small performance improvements to new non-strict mode
- Introduce more scripts for fuzzing
- Improcements to dataflow analysis
@Vighnesh-V
add stdint import
98d2db7
@Vighnesh-V @alexmccord
@andyfriesen @aviralg @dcope-rbx @AmaranthineCodices @vegorov-rbx
Merge branch 'upstream' into merge
e70eec0 
Co-authored-by: Alexander McCord <[email protected]>
Co-authored-by: Andy Friesen <[email protected]>
Co-authored-by: Aviral Goel <[email protected]>
Co-authored-by: David Cope <[email protected]>
Co-authored-by: Lily Brown <[email protected]>
Co-authored-by: Vyacheslav Egorov <[email protected]>
@Vighnesh-V
resolve one last merge conflict
7985414
@Vighnesh-V
can CI handle this?
c592f50
@Vighnesh-V
Sync to upstream/release/605
41669c9
@Vighnesh-V
remove tests for require by string
c932b8e
@Vighnesh-V
endif
c48ffc3
@vegorov-rbx
Sync to upstream/release/606
69728e8
@vegorov-rbx
Merge branch 'master' into merge
f5441d7
@vegorov-rbx
Merge branch 'upstream' into merge
6068432
@vegorov-rbx
Merge fix
139b169
@aatxe
Sync to upstream/release/607
f9c5cdd
@aatxe
Merge branch 'master' into merge
89090a1
@aatxe
Merge branch 'upstream' into merge
d622618
@aatxe
fix ubuntu build with import for cstddef in DenseHash
adea0f8
@Vighnesh-V
Merge branch 'upstream' of https://github.com/luau-lang/luau into ups…
d4883bf 
…tream
@Vighnesh-V
Sync to upstream/release/608
0d5c842
@Vighnesh-V
Merge branch 'master' into merge
74b0d00
@Vighnesh-V
Merge branch 'upstream' into merge
7932835
@Vighnesh-V
Sync to upstream/release/608
50b4779
@Vighnesh-V
Merge branch 'upstream' into merge
2f7509d
Vighnesh-V and others added 28 commits October 11, 2024 13:53
@Vighnesh-V
nit - insert new lines
74c1ac3
@Vighnesh-V
newline
70d5a0e
@Vighnesh-V
Delete tests/.#TypeVar.test.cpp
34801b9
@Vighnesh-V
macro out the failing tests
39899ad
@Vighnesh-V
newline
ef95ce5
@Vighnesh-V
i messed up the macro syntax again
a197f04
@Vighnesh-V
push same change to shared code allocator
68b9214
@Vighnesh-V
default initialize
507832b
@Vighnesh-V
annotate this optional use
b76941b
@Vighnesh-V
insert new lines
848fa0b
@Vighnesh-V
nest pragma
c9ff5d1
@Vighnesh-V
nest again
dafee8b
@Vighnesh-V
more macro crimes
50e8dd0
@Vighnesh-V
nit differ
b1fae55
@Vighnesh-V
one more try
0276d18
@Vighnesh-V
update build flags
b5d3544
@Vighnesh-V
try again?
03c9fa7
@Vighnesh-V
what happens if we remove the flag
a7324ce
@Vighnesh-V
unconditially add suppressing flag
5d74685
@Vighnesh-V
revert cmake file + update makefile
837bba3
@Vighnesh-V
revert differ.h change
268e0b2
@Vighnesh-V
replicate changes to cmakelists
fb8c190
@vegorov-rbx
Sync to upstream/release/648
47e3123
@vegorov-rbx
Merge branch 'master' into merge
bbd18bf
@vegorov-rbx
Merge branch 'upstream' into merge
ce9f1eb
@aatxe
Sync to upstream/release/649
1de169f
@aatxe
Merge branch 'master' into merge
ed05da5
@aatxe
Merge branch 'upstream' into merge
e85fb91
@aatxe aatxe merged commit db80939 into master Oct 25, 2024
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vegorov-rbx vegorov-rbx vegorov-rbx approved these changes

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

string.format with no arguments does not report a type error in new solver strict mode
7 participants
@aatxe @vegorov-rbx @alexmccord @andyfriesen @Vighnesh-V @AmaranthineCodices @joonyoo181